[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 48 58 57 69 66 69 51

N.S.

1 1.00 1.00 1.21 1.19 1.44 1.38 1.44 1.06

time (sec)

N/A 0.034 0.020 0.126 0.198 0.286 0.341 0.321 0.337

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 45 58 57 69 66 69 51

N.S.

1 1.00 0.94 1.21 1.19 1.44 1.38 1.44 1.06

time (sec)

N/A 0.033 0.019 0.070 0.196 0.314 0.243 0.322 0.331

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 48 58 57 69 66 69 51

N.S.

1 1.00 1.00 1.21 1.19 1.44 1.38 1.44 1.06

time (sec)

N/A 0.027 0.015 0.072 0.194 0.272 0.178 0.393 0.344

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 55 50 49 61 56 58 43

N.S.

1 1.00 1.15 1.04 1.02 1.27 1.17 1.21 0.90

time (sec)

N/A 0.017 0.004 0.086 0.199 0.312 0.141 0.314 0.332

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 43 46 41 45 65 47 40

N.S.

1 1.00 0.98 1.05 0.93 1.02 1.48 1.07 0.91

time (sec)

N/A 0.036 0.004 0.078 0.197 0.290 0.169 0.358 0.310

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 50 48 53 49 50 53 55 59

N.S.

1 1.04 1.00 1.10 1.02 1.04 1.10 1.15 1.23

time (sec)

N/A 0.041 0.020 0.079 0.195 0.293 1.640 0.342 0.337

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 41 47 57 53 58 57 47

N.S.

1 1.00 0.68 0.78 0.95 0.88 0.97 0.95 0.78

time (sec)

N/A 0.032 0.018 0.056 0.193 0.281 0.245 0.314 0.392

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 47 48 57 57 68 59 49

N.S.

1 1.00 0.82 0.84 1.00 1.00 1.19 1.04 0.86

time (sec)

N/A 0.033 0.018 0.054 0.194 0.290 0.317 0.366 0.369

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 81 101 100 118 121 123 82

N.S.

1 1.00 1.09 1.36 1.35 1.59 1.64 1.66 1.11

time (sec)

N/A 0.059 0.037 1.543 0.195 0.284 0.476 0.341 0.394

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 81 101 100 118 116 123 82

N.S.

1 1.00 1.09 1.36 1.35 1.59 1.57 1.66 1.11

time (sec)

N/A 0.051 0.030 0.611 0.190 0.286 0.347 0.414 0.369

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 81 101 100 118 121 123 82

N.S.

1 1.00 1.09 1.36 1.35 1.59 1.64 1.66 1.11

time (sec)

N/A 0.041 0.027 0.865 0.187 0.293 0.268 0.331 0.373

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 77 91 90 110 102 109 73

N.S.

1 1.00 1.10 1.30 1.29 1.57 1.46 1.56 1.04

time (sec)

N/A 0.025 0.029 0.399 0.194 0.293 0.188 0.335 0.362

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 83 97 84 98 131 96 75

N.S.

1 1.00 1.04 1.21 1.05 1.22 1.64 1.20 0.94

time (sec)

N/A 0.049 0.036 0.619 0.189 0.296 0.254 0.339 0.337

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 76 96 83 98 112 93 99

N.S.

1 1.00 0.97 1.23 1.06 1.26 1.44 1.19 1.27

time (sec)

N/A 0.053 0.038 0.452 0.193 0.301 0.329 0.373 0.353

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 84 97 90 101 99 102 99

N.S.

1 1.00 1.00 1.15 1.07 1.20 1.18 1.21 1.18

time (sec)

N/A 0.055 0.037 0.612 0.187 0.295 2.069 0.312 0.379

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 76 91 100 103 104 110 82

N.S.

1 1.00 1.01 1.21 1.33 1.37 1.39 1.47 1.09

time (sec)

N/A 0.047 0.029 0.588 0.189 0.294 0.321 0.343 0.392

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 80 91 100 106 122 111 85

N.S.

1 1.00 0.84 0.96 1.05 1.12 1.28 1.17 0.89

time (sec)

N/A 0.053 0.031 0.577 0.193 0.277 0.413 0.311 0.430

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 80 91 100 106 117 111 85

N.S.

1 1.00 0.84 0.96 1.05 1.12 1.23 1.17 0.89

time (sec)

N/A 0.071 0.033 0.566 0.195 0.278 0.539 0.314 0.414

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 133 144 143 167 170 177 113

N.S.

1 1.00 1.33 1.44 1.43 1.67 1.70 1.77 1.13

time (sec)

N/A 0.077 0.049 11.004 0.198 0.285 0.659 0.365 0.371

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 133 144 143 167 175 177 113

N.S.

1 1.00 1.33 1.44 1.43 1.67 1.75 1.77 1.13

time (sec)

N/A 0.069 0.040 5.903 0.200 0.288 0.502 0.365 0.371

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 130 142 141 167 167 174 112

N.S.

1 1.00 1.07 1.16 1.16 1.37 1.37 1.43 0.92

time (sec)

N/A 0.062 0.087 0.670 0.194 0.297 0.352 0.332 0.377

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 110 134 133 159 156 163 104

N.S.

1 1.00 1.29 1.58 1.56 1.87 1.84 1.92 1.22

time (sec)

N/A 0.030 0.033 0.456 0.198 0.302 0.265 0.532 0.356

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 123 144 127 149 199 145 106

N.S.

1 1.00 1.01 1.18 1.04 1.22 1.63 1.19 0.87

time (sec)

N/A 0.061 0.043 0.533 0.197 0.290 0.357 0.319 0.383

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 118 145 127 149 182 146 154

N.S.

1 1.00 0.99 1.22 1.07 1.25 1.53 1.23 1.29

time (sec)

N/A 0.060 0.052 0.849 0.192 0.298 0.446 0.362 0.409

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 115 143 125 150 182 141 139

N.S.

1 1.00 0.97 1.21 1.06 1.27 1.54 1.19 1.18

time (sec)

N/A 0.061 0.054 0.456 0.196 0.323 0.438 0.322 0.397

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 122 144 133 151 144 149 136

N.S.

1 1.00 0.97 1.14 1.06 1.20 1.14 1.18 1.08

time (sec)

N/A 0.073 0.054 0.497 0.202 0.308 2.457 0.391 0.439

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 109 134 143 152 158 162 118

N.S.

1 1.00 1.21 1.49 1.59 1.69 1.76 1.80 1.31

time (sec)

N/A 0.053 0.037 0.424 0.198 0.266 0.441 0.358 0.410

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 113 134 143 155 168 163 120

N.S.

1 1.00 0.80 0.94 1.01 1.09 1.18 1.15 0.85

time (sec)

N/A 0.067 0.038 0.424 0.197 0.302 0.556 0.424 0.447

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 113 134 143 155 177 163 121

N.S.

1 1.00 0.85 1.01 1.08 1.17 1.33 1.23 0.91

time (sec)

N/A 0.067 0.040 0.817 0.204 0.294 0.739 0.336 0.471

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 113 134 143 155 172 163 121

N.S.

1 1.00 0.85 1.01 1.08 1.17 1.29 1.23 0.91

time (sec)

N/A 0.063 0.037 0.447 0.207 0.281 0.954 0.334 0.453

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

148 148 142 272 0 0 267 0 0

N.S.

1 1.00 0.96 1.84 0.00 0.00 1.80 0.00 0.00

time (sec)

N/A 0.113 0.051 0.671 0.000 0.000 16.237 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

107 107 105 233 0 0 218 0 0

N.S.

1 1.00 0.98 2.18 0.00 0.00 2.04 0.00 0.00

time (sec)

N/A 0.091 0.036 0.395 0.000 0.000 12.897 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

69 69 66 188 0 0 163 0 0

N.S.

1 1.00 0.96 2.72 0.00 0.00 2.36 0.00 0.00

time (sec)

N/A 0.061 0.023 0.393 0.000 0.000 8.061 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

39 39 37 151 0 0 0 0 0

N.S.

1 1.00 0.95 3.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.018 0.006 0.398 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F C F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

44 44 63 181 0 0 175 0 0

N.S.

1 1.00 1.43 4.11 0.00 0.00 3.98 0.00 0.00

time (sec)

N/A 0.037 0.024 0.751 0.000 0.000 5.526 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

74 74 88 221 0 0 216 0 0

N.S.

1 1.00 1.19 2.99 0.00 0.00 2.92 0.00 0.00

time (sec)

N/A 0.085 0.056 0.763 0.000 0.000 32.453 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

110 110 124 264 0 0 265 0 0

N.S.

1 1.00 1.13 2.40 0.00 0.00 2.41 0.00 0.00

time (sec)

N/A 0.127 0.127 0.448 0.000 0.000 35.163 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

150 150 159 309 0 0 314 0 0

N.S.

1 1.00 1.06 2.06 0.00 0.00 2.09 0.00 0.00

time (sec)

N/A 0.188 0.114 0.474 0.000 0.000 52.480 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

152 152 141 298 0 0 323 0 0

N.S.

1 1.00 0.93 1.96 0.00 0.00 2.12 0.00 0.00

time (sec)

N/A 0.160 0.079 0.411 0.000 0.000 24.564 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

98 107 98 250 0 0 269 0 0

N.S.

1 1.09 1.00 2.55 0.00 0.00 2.74 0.00 0.00

time (sec)

N/A 0.113 0.060 0.408 0.000 0.000 12.077 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

65 65 71 205 0 0 0 0 0

N.S.

1 1.00 1.09 3.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.044 0.040 0.785 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 41 54 63 51 153 64 54

N.S.

1 1.00 1.05 1.38 1.62 1.31 3.92 1.64 1.38

time (sec)

N/A 0.013 0.019 0.395 0.190 0.317 0.621 0.329 1.321

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

80 80 96 229 0 0 0 0 0

N.S.

1 1.00 1.20 2.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.087 0.053 0.436 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

114 114 120 276 0 0 318 0 0

N.S.

1 1.00 1.05 2.42 0.00 0.00 2.79 0.00 0.00

time (sec)

N/A 0.123 0.087 0.444 0.000 0.000 30.604 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

154 154 165 331 0 0 376 0 0

N.S.

1 1.00 1.07 2.15 0.00 0.00 2.44 0.00 0.00

time (sec)

N/A 0.152 0.137 0.497 0.000 0.000 43.486 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

149 149 150 303 0 0 391 0 0

N.S.

1 1.00 1.01 2.03 0.00 0.00 2.62 0.00 0.00

time (sec)

N/A 0.174 0.091 0.443 0.000 0.000 27.599 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

107 107 122 258 0 0 347 0 0

N.S.

1 1.00 1.14 2.41 0.00 0.00 3.24 0.00 0.00

time (sec)

N/A 0.090 0.076 0.433 0.000 0.000 19.769 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 75 137 114 115 398 124 108

N.S.

1 1.00 1.21 2.21 1.84 1.85 6.42 2.00 1.74

time (sec)

N/A 0.032 0.082 0.412 0.200 0.289 1.792 0.320 0.763

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 53 132 99 107 415 104 91

N.S.

1 1.00 0.70 1.74 1.30 1.41 5.46 1.37 1.20

time (sec)

N/A 0.023 0.036 0.616 0.206 0.290 1.881 0.300 0.768

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

134 134 141 273 0 0 352 0 0

N.S.

1 1.00 1.05 2.04 0.00 0.00 2.63 0.00 0.00

time (sec)

N/A 0.152 0.078 0.900 0.000 0.000 36.997 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

171 171 173 324 0 0 444 0 0

N.S.

1 1.00 1.01 1.89 0.00 0.00 2.60 0.00 0.00

time (sec)

N/A 0.166 0.105 0.555 0.000 0.000 38.432 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

217 217 227 386 0 0 496 0 0

N.S.

1 1.00 1.05 1.78 0.00 0.00 2.29 0.00 0.00

time (sec)

N/A 0.206 0.226 0.681 0.000 0.000 41.528 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

229 229 249 405 0 0 617 0 0

N.S.

1 1.00 1.09 1.77 0.00 0.00 2.69 0.00 0.00

time (sec)

N/A 0.311 0.182 0.559 0.000 0.000 62.664 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

183 183 207 355 0 0 563 0 0

N.S.

1 1.00 1.13 1.94 0.00 0.00 3.08 0.00 0.00

time (sec)

N/A 0.253 0.140 0.527 0.000 0.000 31.903 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

141 141 179 310 0 0 518 0 0

N.S.

1 1.00 1.27 2.20 0.00 0.00 3.67 0.00 0.00

time (sec)

N/A 0.138 0.148 0.542 0.000 0.000 30.940 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 172 165 179 178 677 202 167

N.S.

1 1.00 2.18 2.09 2.27 2.25 8.57 2.56 2.11

time (sec)

N/A 0.049 0.080 0.507 0.200 0.297 5.379 0.381 0.782

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 135 205 150 162 661 163 141

N.S.

1 1.00 1.15 1.75 1.28 1.38 5.65 1.39 1.21

time (sec)

N/A 0.059 0.064 0.507 0.193 0.299 5.317 0.335 0.667

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 66 188 144 160 700 147 127

N.S.

1 1.00 0.69 1.98 1.52 1.68 7.37 1.55 1.34

time (sec)

N/A 0.028 0.040 0.490 0.196 0.319 5.353 0.360 0.569

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

174 174 222 316 0 0 510 0 0

N.S.

1 1.00 1.28 1.82 0.00 0.00 2.93 0.00 0.00

time (sec)

N/A 0.207 0.115 0.710 0.000 0.000 58.961 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

211 211 231 370 0 0 614 0 0

N.S.

1 1.00 1.09 1.75 0.00 0.00 2.91 0.00 0.00

time (sec)

N/A 0.209 0.166 0.754 0.000 0.000 57.442 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

263 263 276 438 0 0 668 0 0

N.S.

1 1.00 1.05 1.67 0.00 0.00 2.54 0.00 0.00

time (sec)

N/A 0.249 0.197 0.924 0.000 0.000 61.944 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

329 329 403 561 0 0 1686 0 0

N.S.

1 1.00 1.22 1.71 0.00 0.00 5.12 0.00 0.00

time (sec)

N/A 0.658 0.300 1.670 0.000 0.000 149.758 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

285 285 356 511 0 0 1632 0 0

N.S.

1 1.00 1.25 1.79 0.00 0.00 5.73 0.00 0.00

time (sec)

N/A 0.575 0.326 1.335 0.000 0.000 112.194 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-1) F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

243 243 333 466 0 0 1588 0 0

N.S.

1 1.00 1.37 1.92 0.00 0.00 6.53 0.00 0.00

time (sec)

N/A 0.345 0.297 1.302 0.000 0.000 80.640 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 335 395 377 361 1911 424 341

N.S.

1 1.00 2.46 2.90 2.77 2.65 14.05 3.12 2.51

time (sec)

N/A 0.080 0.192 1.500 0.230 0.305 75.709 0.471 1.274

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 316 435 358 356 1972 394 320

N.S.

1 1.00 1.94 2.67 2.20 2.18 12.10 2.42 1.96

time (sec)

N/A 0.088 0.182 1.352 0.214 0.312 75.511 0.376 1.181

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 226 281 413 338 343 1979 361 296

N.S.

1 1.00 1.24 1.83 1.50 1.52 8.76 1.60 1.31

time (sec)

N/A 0.142 0.175 1.335 0.218 0.299 75.704 0.402 1.013

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 192 383 316 333 1986 322 275

N.S.

1 1.00 0.96 1.92 1.59 1.67 9.98 1.62 1.38

time (sec)

N/A 0.114 0.129 1.336 0.222 0.300 75.270 0.320 0.907

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 160 404 294 323 1992 283 251

N.S.

1 1.00 0.92 2.32 1.69 1.86 11.45 1.63 1.44

time (sec)

N/A 0.080 0.099 1.270 0.219 0.308 75.495 0.364 0.845

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 99 386 276 310 1955 252 232

N.S.

1 1.00 0.65 2.54 1.82 2.04 12.86 1.66 1.53

time (sec)

N/A 0.047 0.103 1.316 0.213 0.324 76.214 0.441 0.746

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

294 294 349 445 0 0 1518 0 0

N.S.

1 1.00 1.19 1.51 0.00 0.00 5.16 0.00 0.00

time (sec)

N/A 0.470 0.249 2.211 0.000 0.000 156.444 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

339 339 401 508 0 0 1685 0 0

N.S.

1 1.00 1.18 1.50 0.00 0.00 4.97 0.00 0.00

time (sec)

N/A 0.397 0.391 2.681 0.000 0.000 146.271 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F A F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

401 401 486 594 0 0 1737 0 0

N.S.

1 1.00 1.21 1.48 0.00 0.00 4.33 0.00 0.00

time (sec)

N/A 0.432 0.327 3.621 0.000 0.000 156.804 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 9 48 11 0 0 8

N.S.

1 1.00 1.00 0.75 4.00 0.92 0.00 0.00 0.67

time (sec)

N/A 0.008 0.004 0.371 0.206 0.269 0.000 0.000 0.298

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 11 7 45 9 0 0 6

N.S.

1 1.00 1.10 0.70 4.50 0.90 0.00 0.00 0.60

time (sec)

N/A 0.007 0.003 0.383 0.205 0.304 0.000 0.000 0.285

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 82 156 151 219 185 241 116

N.S.

1 1.00 0.75 1.43 1.39 2.01 1.70 2.21 1.06

time (sec)

N/A 0.094 0.041 0.148 0.209 0.307 0.347 0.469 0.460

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 82 155 150 219 184 238 116

N.S.

1 1.00 0.75 1.42 1.38 2.01 1.69 2.18 1.06

time (sec)

N/A 0.073 0.041 0.131 0.204 0.267 0.260 0.331 0.425

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 77 141 136 200 163 215 104

N.S.

1 1.00 0.76 1.40 1.35 1.98 1.61 2.13 1.03

time (sec)

N/A 0.048 0.035 0.181 0.216 0.281 0.189 0.339 0.397

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 59 114 101 144 138 144 85

N.S.

1 1.00 0.84 1.63 1.44 2.06 1.97 2.06 1.21

time (sec)

N/A 0.055 0.017 0.164 0.210 0.278 0.245 0.350 0.383

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 63 114 114 149 141 162 138

N.S.

1 1.00 0.88 1.58 1.58 2.07 1.96 2.25 1.92

time (sec)

N/A 0.076 0.030 0.170 0.222 0.284 1.820 0.329 0.429

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 90 130 150 179 165 192 109

N.S.

1 1.00 0.87 1.26 1.46 1.74 1.60 1.86 1.06

time (sec)

N/A 0.093 0.037 0.116 0.199 0.287 0.252 0.302 0.500

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 82 131 151 187 185 195 114

N.S.

1 1.00 0.75 1.20 1.39 1.72 1.70 1.79 1.05

time (sec)

N/A 0.093 0.040 0.123 0.206 0.268 0.323 0.331 0.515

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 82 131 151 188 187 195 114

N.S.

1 1.00 0.75 1.20 1.39 1.72 1.72 1.79 1.05

time (sec)

N/A 0.097 0.041 0.138 0.207 0.280 0.402 0.444 0.520

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 149 262 250 364 311 408 180

N.S.

1 1.00 0.84 1.47 1.40 2.04 1.75 2.29 1.01

time (sec)

N/A 0.151 0.062 4.697 0.217 0.272 0.475 0.382 0.503

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 134 262 250 363 308 408 179

N.S.

1 1.00 0.75 1.47 1.40 2.04 1.73 2.29 1.01

time (sec)

N/A 0.120 0.065 2.641 0.216 0.270 0.350 0.363 0.480

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 135 247 235 347 286 385 166

N.S.

1 1.00 0.78 1.43 1.36 2.01 1.65 2.23 0.96

time (sec)

N/A 0.079 0.052 0.601 0.208 0.272 0.260 0.360 0.444

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 114 223 198 293 269 285 152

N.S.

1 1.00 0.83 1.63 1.45 2.14 1.96 2.08 1.11

time (sec)

N/A 0.147 0.029 0.748 0.199 0.286 0.367 0.392 0.449

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 107 226 200 291 255 274 228

N.S.

1 1.00 0.80 1.70 1.50 2.19 1.92 2.06 1.71

time (sec)

N/A 0.115 0.031 0.751 0.201 0.293 0.432 0.361 0.489

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 117 217 210 291 258 290 221

N.S.

1 1.00 0.85 1.58 1.53 2.12 1.88 2.12 1.61

time (sec)

N/A 0.129 0.058 0.707 0.201 0.311 2.468 0.363 0.532

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 168 131 238 250 326 287 354 184

N.S.

1 1.00 0.78 1.42 1.49 1.94 1.71 2.11 1.10

time (sec)

N/A 0.143 0.066 0.719 0.211 0.314 0.335 0.364 0.603

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 134 238 251 332 309 355 188

N.S.

1 1.00 0.75 1.34 1.41 1.87 1.74 1.99 1.06

time (sec)

N/A 0.140 0.065 0.503 0.203 0.299 0.432 0.314 0.624

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

271 271 211 732 0 0 0 0 0

N.S.

1 1.00 0.78 2.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.183 0.118 0.569 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

200 200 158 637 0 0 0 0 0

N.S.

1 1.00 0.79 3.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.156 0.067 0.487 0.000 0.000 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

130 130 103 528 0 0 0 0 0

N.S.

1 1.00 0.79 4.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.108 0.054 0.429 0.000 0.000 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

72 72 68 445 0 0 0 0 0

N.S.

1 1.00 0.94 6.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.046 0.022 0.371 0.000 0.000 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

79 79 94 528 0 0 0 0 0

N.S.

1 1.00 1.19 6.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.078 0.040 0.415 0.000 0.000 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

135 135 130 615 0 0 0 0 0

N.S.

1 1.00 0.96 4.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.146 0.078 0.414 0.000 0.000 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

204 204 185 731 0 0 0 0 0

N.S.

1 1.00 0.91 3.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.218 0.101 0.458 0.000 0.000 0.000 0.000 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

273 273 237 828 0 0 0 0 0

N.S.

1 1.00 0.87 3.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.328 0.096 0.533 0.000 0.000 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

281 281 240 824 0 0 0 0 0

N.S.

1 1.00 0.85 2.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.205 0.142 0.552 0.000 0.000 0.000 0.000 0.000

[next] [front] [up]